Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005 Uppsala, Sweden, September 26-28, 2005 Proceedings: 3829 (Lecture Notes in Computer Science)
by Paul Pettersson,Wang Yi
ISBN 13: 9783540309468
Format: Paperback (320 pages) Publisher: Springer Published: 22 Feb 2009
Save for later
Confessions of an AI Brain
by Elena Fersman,Paul Pettersson,Athanasios Karapantelakis
ISBN 13: 9783031259340
Format: Paperback (191 pages) Publisher: Springer Published: 01 Jun 2023